hall logic